A Radical Approach to Computation with Real Numbers
نویسنده
چکیده
If we are willing to give up compatibility with IEEE 754 floats and design a number format with goals appropriate for 2016, we can achieve several goals simultaneously: Extremely high energy efficiency and information-per-bit, no penalty for decimal operations instead of binary, rigorous bounds on answers without the overly pessimistic bounds produced by interval methods, and unprecedented high speed up to some precision. This approach extends the ideas of unum arithmetic introduced two years ago by breaking completely from the IEEE float-type format, resulting in fixed bit size values, fixed execution time, no exception values or “gradual underflow” issues, no wasted bit patterns, and no redundant representations (like “negative zero”). As an example of the power of this format, a difficult 12-dimensional nonlinear robotic kinematics problem that has defied solvers to date is quickly solvable with absolute bounds. Also unlike interval methods, it becomes possible to operate on arbitrary disconnected subsets of the real number line with the same speed as operating on a simple bound.
منابع مشابه
A robust engineering approach for wind turbine blade profile aeroelastic computation
Wind turbines are important devices that extract clean energy from wind flow. The efficiency of wind turbines should be examined under various working conditions in order to estimate off-design performance. Numerous aerodynamic and structural research works have been carried out to compute aeroelastic effects on wind turbines. Most of them suffer from either the simplicity of the modelling ...
متن کاملAlgebraic Moments – Real Root Finding and Related Topics –
Polynomial root finding is a classical and well studied problem in mathematics with practical applications in many areas. Various relevant questions can be reformulated into the task of finding all common roots of a given system of polynomials in several variables, the so-called algebraic variety or zero set. Traditionally, root finding algorithms are implemented in exact arithmetics over algeb...
متن کاملZarankiewicz Numbers and Bipartite Ramsey Numbers
The Zarankiewicz number z(b; s) is the maximum size of a subgraph of Kb,b which does not contain Ks,s as a subgraph. The two-color bipartite Ramsey number b(s, t) is the smallest integer b such that any coloring of the edges of Kb,b with two colors contains a Ks,s in the rst color or a Kt,t in the second color.In this work, we design and exploit a computational method for bounding and computing...
متن کاملComputing optimal subsidies for Iranian renewable energy investments using real options
For the valuation of the renewable energy investments, providing private investors with a financial incentive to accelerate their investment is a very significant issue. Financial subsidies are known by the majority of the people to be one of the most important drivers in renewable energy expansion and one of the main reasons which result in the development of any industry. In this paper, we pr...
متن کاملA robust engineering approach for wind turbine blade profile aeroelastic computation
Wind turbines are important devices that extract clean energy from wind flow. The efficiency of wind turbines should be examined under various working conditions in order to estimate off-design performance. Numerous aerodynamic and structural research works have been carried out to compute aeroelastic effects on wind turbines. Most of them suffer from either the simplicity of the modelling appr...
متن کاملOn Approximate Solutions of the Generalized Radical Cubic Functional Equation in Quasi-$beta$-Banach Spaces
In this paper, we prove the generalized Hyers-Ulam-Rassias stability of the generalized radical cubic functional equation[ fleft( sqrt[3]{ax^3 + by^3}right)=af(x) + bf(y),] where $a,b in mathbb{R}_+$ are fixed positive real numbers, by using direct method in quasi-$beta$-Banach spaces. Moreover, we use subadditive functions to investigate stability of the generaliz...
متن کامل